Constructive consistency checking for partial

Constructive consistency checking for partial speci cation in

Incorporating Constructive Tools into a Generic Language-based Editor Incorporating Constructive Tools into a Generic Language-based Editor

As a uniform front-end user interface, a generic language-based editor should have the capability to incorporate both analytic and constructive back-end tools. In this paper , we analyse the requirements of, and propose a strategy for, integrating constructive tools into a generic language-based editor. The major issues addressed include deenition of software documents containing tool contribut...

Systematic Construction of Abstractions for Model-Checking

This paper describes a framework, based on Abstract Interpretation, for creating abstractions for model-checking. Specifically, we study how to abstract models of calculus and systematically derive abstractions that are constructive, sound, and precise, and apply them to abstracting Kripke structures. The overall approach is based on the use of bilattices to represent partial and inconsistent i...

Directed Arc Consistency Preprocessing as a Strategy for Maximal Constraint Satisfaction

1 ABSTRACT A constraint satisfaction problem (CSP) may be overcon-strained and not admit a complete solution. Optimal solutions to such partial constraint satisfaction problems (PCSPs), in which a maximum number of constraints are satissed, can be found using branch and bound variants of CSP algorithms. Earlier work has shown how information gained through local consistency checking during prep...

Dynamic Consistency Checking in Goal-Directed Answer Set Programming

In answer set programming, inconsistencies arise when the constraints placed on a program become unsatisfiable. In this paper, we introduce a technique for dynamic consistency checking for our goal-directed method for computing answer sets, under which only those constraints deemed relevant to the partial answer set are tested, allowing inconsistent knowledgebases to be successfully queried. Ho...